Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives
نویسندگان
چکیده
منابع مشابه
Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives
We show how to automatically construct a system that satisfies a given logical specification and has an optimal average behavior with respect to a specification with fractional costs. When synthesizing a system from a logical specification, it is often the case that several different systems satisfy the specification. In this case, it is usually not easy for the user to state formally which sys...
متن کاملList's worst-average-case or WAC ratio
We analyze the List scheduling algorithm for the problem of minimizing makespan using a worst-average-case or wac analysis technique, previously used by Kenyon for analyzing the Best Fit bin packing algorithm. We show that List’s worst-average-case or wac ratio asymptotically approaches 2 as m→∞. Thus, List’s worst-case behavior is not overly dependent on the order of job arrivals.
متن کاملAverage Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives
We consider Markov decision processes (MDPs) with specifications given as Büchi (liveness) objectives. We consider the problem of computing the set of almost-sure winning vertices from where the objective can be ensured with probability 1. We study for the first time the average case complexity of the classical algorithm for computing the set of almost-sure winning vertices for MDPs with Büchi ...
متن کاملExpected Compression Ratio for DFCA: experimental average case analysis
In this paper we investigate from a statistical point of view the expected compression ratio between the size of a minimal Deterministic Finite Cover Automaton (DFCA) and the size of the minimal corresponding Determinitic Finite Automaton (DFA). Using sound statistical methods, we extend the experimental study done in [16], thus obtaining a much better picture of the compression power of DFCAs....
متن کاملCapacity selection under uncertainty with ratio objectives
Capacity choice or expansion, whether organic or via mergers and acquisitions, creates firms of widely varying scales. The ex-post profitability of such a transformed firm relative to its original size will typically be evaluated on ratio (rate) measures like earnings per share or profits to asset ratio, as such are the only meaningful ways to compare profitability of firms of substantially dif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.50.2